b:. (b = tt)  (b = ff) 

latex

Up	bool 1, bool 1
Definitions	t  T, x:A. B(x), , P  Q, Unit, , , ff, tt
Lemmas	bool wf, bfalse wf, btrue wf